exactness of reasoning